((In an open city pool))